More from this Author

Deductive Software Verification - the KeY Book

by Wolfgang Ahrendt (Editor), Bernhard Beckert (Editor), Richard Bubel (Editor), Reiner Hähnle (Editor), Peter H. Schmitt (Editor), Mattias Ulbrich (Editor)